On possible growths of arithmetical complexity

نویسنده

  • Anna E. Frid
چکیده

The arithmetical complexity of infinite words, defined by Avgustinovich, Fon-Der-Flaass and the author in 2000, is the number of words of length n which occur in the arithmetical subsequences of the infinite word. This is one of the modifications of the classical function of subword complexity, which is equal to the number of factors of the infinite word of length n. In this paper, we show that the orders of growth of the arithmetical complexity can behave as many sub-polynomial functions. More precisely, for each sequence u of subword complexity fu(n) and for each prime p ≥ 3 we build a Toeplitz word on the same alphabet whose arithmetical complexity is a(n) = Θ(nfu( logp n )). Mathematics Subject Classification. 68R15, 68Q45.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On possible growths of Toeplitz languages

We consider a new family of factorial languages whose subword complexity grows as Θ(nα), where α is the only positive root of some transcendent equation. The asymptotic growth of the complexity function is studied with the use of analytical methods and in particular with a corollary of the Wiener-Pitt theorem. The factorial languages considered are also languages of arithmetic factors of infini...

متن کامل

Sequences of low arithmetical complexity

Arithmetical complexity of a sequence is the number of words of length n that can be extracted from it according to arithmetic progressions. We study uniformly recurrent words of low arithmetical complexity and describe the family of such words having lowest complexity. Mathematics Subject Classification. 68R15.

متن کامل

Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics

All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiable sentences. This paper is a contribution to the general study of this problem. We propose the classes of first-order core and ∆-core fuzzy logics as a good framework to address these arithmetical complexity issues. We ...

متن کامل

On Completeness Results of Hoare Logic Relative to the Standard Model

The general completeness problem of Hoare logic relative to the standard model N of Peano arithmetic has been studied by Cook, and it allows for the use of arbitrary arithmetical formulas as assertions. In practice, the assertions would be simple arithmetical formulas, e.g. of a low level in the arithmetical hierarchy. In addition, we find that, by restricting inputs to N , the complexity of th...

متن کامل

Arithmetical definability over finite structures

Arithmetical definability has been extensively studied over the natural numbers. In this paper, we take up the study of arithmetical definability over finite structures, motivated by the correspondence between uniform and . We prove finite analogs of three classic results in arithmetical definability, namely that and TIMES can first-order define PLUS, that and DIVIDES can first-order define TIM...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • ITA

دوره 40  شماره 

صفحات  -

تاریخ انتشار 2006